Star free expressions over the reals
نویسنده
چکیده
An interpretation of star free expressions over the reals is provided. The expressive power of star free expressions is compared to the expressive power of monadic rst-order logic of order over the reals. It is proved that these formalisms have the same expressive power. This result provides a generalization of the classical McNaughton Papert theorem 3] from the nite orders to the order of the reals.
منابع مشابه
Star-Free Picture Expressions are Strictly Weaker Than First-Order Logic
We exhibit a rst-order deenable picture language which we prove is not expressible by any star-free picture expression, i. e., it is not star-free. Thus rst-order logic over pictures is strictly more powerful than star-free picture expressions are. This is in sharp contrast with the situation with words: the well-known McNaughton-Papert theorem states that a word language is expressible by a rs...
متن کاملStar-connected rational expressions
Star-connected rational expressions were considered only as expressions defining trace languages. In this paper we continue the study of the class of flat languages defined by this kind of rational expressions (see [5], [4]). We obtain stronger results and prove that any language is star-connected iff it is accepted by a finite automaton with cycles which are proper composition of connected cyc...
متن کاملWeighted First-Order Logics over Semirings
We consider a first-order logic, a linear temporal logic, star-free expressions and counter-free Büchi automata, with weights, over idempotent, zerodivisor free and totally commutative complete semirings. We show the expressive equivalence (of fragments) of these concepts, generalizing in the quantitative setup, the corresponding folklore result of formal language theory.
متن کاملSimple free star-autonomous categories and full coherence
Eilenberg-Kelly-MacLane graphs [EK66, KM71] elegantly describe certain morphisms of closed categories. This paper shows that little more is needed to present the free star-autonomous category [Bar79] generated by a category, for a full coherence theorem: the commutativity of diagrams of canonical maps is decidable. Given a set A = {a, b, . . .} of generators, we define the category of A-linking...
متن کاملThe Effects of Exercise on Expression of CYP19 and StAR mRNA in Steroid-Induced Polycystic Ovaries of Female Rats
Objective PCOS is the most frequent female endocrine disorder, affecting 5%-10% of women, is characterized by hyperandrogenism, oligo-/anovulation, and polycystic ovaries. The aim of the present research is to evaluate the expression of steroidogenic acute regulatory protein (StAR) and CYP19 (aromatase) mRNA in the ovary of EV-induced PCOS rat model and the effect of the treadmill and running w...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Theor. Comput. Sci.
دوره 233 شماره
صفحات -
تاریخ انتشار 2000